大班幼儿建构游戏中同伴互动行为分析

采用非参与式观察法对36名大班幼儿建构游戏中的同伴互动行为进行观察,将收集到的344起同伴互动事件进行分析,从互动性别、互动主题、互动方式和互动情绪四个方面探讨大班幼儿在建构游戏中同伴互动行为的特征。并提出如下建议:教师应摒弃性别角色的刻板印象,鼓励女孩大胆体验建构游戏;教师应承认两性差异,给予男孩更多的耐心;幼儿园应定期评估材料的充分性与适宜性,投放充足且丰富的建构材料;教师应鼓励幼儿多进行分享、赞扬的友好互动。     

基于云重心评判的装甲车辆驾驶技能评估方法

针对当前装甲车辆驾驶技能评估方法存在的问题和应用上的不足,将云理论引入装甲车辆驾驶技能评估,提出了基于云重心评判的装甲车辆驾驶技能评估方法。首先建立了云模型表示的指标体系,通过采集实车驾驶数据获取指标值;然后确定指标权重,计算其加权偏离度并将其输入评测的云发生器,最终得到评估结果。结果表明:基于云重心评判的装甲车辆驾驶技能评估方法能实现对装甲车辆驾驶过程的准确评估,为解决装甲车辆驾驶评估依赖经验教学的问题提供了技术路径。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

信息对抗效能评估通用仿真框架研究

本文提出了一种信息对抗效能评估通用仿真框架的体系结构,在此基础上,对基于该体系结构的建模方法进行了研究。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。     

添加剂对米糠油清净性和氧化安定性的影响

植物油是一种潜在的绿色润滑剂基础油，但其氧化安定性较差制约了它的应用。考察了清净剂和抗氧剂对米糠油高温清净性及氧化安定性的影响。结果表明：传统的含有金属离子的清净剂及抗氧抗腐剂对米糠油的高温清净性及氧化安定性没有提高，甚至会降低这两者性能；而不合金属离子的抗氧剂TL-57能改善这两者性能。     

Branch‐and‐price‐and‐cut for the manpower routing problem with synchronization constraints

In this article, we propose a branch‐and‐price‐and‐cut (BPC) algorithm to exactly solve the manpower routing problem with synchronization constraints (MRPSC). Compared with the classical vehicle routing problems (VRPs), the defining characteristic of the MRPSC is that multiple workers are required to work together and start at the same time to carry out a job, that is, the routes of the scheduling subjects are dependent. The incorporation of the synchronization constraints increases the difficulty of the MRPSC significantly and makes the existing VRP exact algorithm inapplicable. Although there are many types of valid inequalities for the VRP or its variants, so far we can only adapt the infeasible path elimination inequality and the weak clique inequality to handle the synchronization constraints in our BPC algorithm. The experimental results at the root node of the branch‐and‐bound tree show that the employed inequalities can effectively improve the lower bound of the problem. Compared with ILOG CPLEX, our BPC algorithm managed to find optimal solutions for more test instances within 1 hour. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 138–171, 2016     

深度置信网络在导弹攻击区分类中的应用

针对传统导弹攻击区解算方法忽略双方态势变化等问题，提出运用深度置信网络的导弹攻击区分类模型。根据导弹命中情况与目标机动间的关系，将导弹攻击区划分为五类。通过分析影响导弹攻击结果的态势参数，构建导弹攻击结果预测模型。在实验部分，结合重构误差和测试错误率确定深度置信网络的网络结构，通过逐层提取数据法分析模型参数特征并且讨论微调数据的采样方式。使用反向传播神经网络和支持向量机进行分类有效性对比实验。实验结果表明：深度置信网络运行速度和预测准确度明显优于其他两种方法，满足实时性和准确性要求，所提方法具有良好的应用价值。     

某型高射机枪机匣校正产生破断的原因分析

某型高射机枪机匣经调质后,在校正时发生破断。采用化学分析和宏微观断口观察等方法,对破断件进行了分析。结果表明,破断件断口上有局部过烧区,且在晶界上形成疏松孔,并伴有严重的氧化。在外力作用下即发生沿晶界脆性破断。     

层次分析法在民用客机项目供应商选择中的应用

本文根据项目评价的一般原则，结合大飞机项目的特点，建立了大飞机项目的评价指标体系，确立了企业能力、服务程度、合作水平等三项指标，设计了大飞机项目供应商选择的程序和方法，并给出了应用范例。